
public class Atom {

	private String varname;

	public Atom(String name) {
		this.varname = name;
	}
	
	public String getVarname() {
		return varname;
	}

	public void setVarname(String varname) {
		this.varname = varname;
	}
	
	@Override
	public String toString() {
		return varname;
	}
	
	@Override
	public boolean equals(Object o) {
		if(o.getClass() == this.getClass()) {
			Atom other = (Atom) o;
			if( other.getVarname().trim().toLowerCase().equals(this.getVarname().trim().toLowerCase()))   
			{
				return true;
			}
		}
		return false;
	}	
}
